Chapter 3\PredefinedEntities.xml

<?xml version="1.0"?>
<truism>
&quot;A&quot; is greater than &quot;B&quot; (A &gt; B) and &quot;B&quot; is greater than &quot;C&quot; (B &gt; C).  It is then true that &quot;A&quot; is greater than &quot;C&quot; (A &gt; C).
</truism>